Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿฆ€Rust Verification
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Embedded Rust
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toยท5hยท
Discuss: DEV
๐Ÿ”’Type Safety
Flag this post
My First Rust Project
binwang.meยท3d
๐Ÿฆ€Rust Macros
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
My first day in Rust
reddit.comยท18hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Flag this post
Rust Hobby OS projects worth exploring
oshub.orgยท9hยท
๐Ÿฆ€Embedded Rust
Flag this post
Rust 1.91.0 released
lwn.netยท23h
๐Ÿฆ€Embedded Rust
Flag this post
Recent Rust Changes
ncameron.orgยท3dยท
๐Ÿฆ€Rust Macros
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Ÿ”“Hacking
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Fil-C: A memory-safe C implementation
lwn.netยท2dยท
Discuss: Hacker News
๐Ÿง Separation Logic
Flag this post
Rust Gets a Garbage Collector
weeklyrust.substack.comยท4dยท
Discuss: Substack
๐Ÿ”’Type Safety
Flag this post
Rust's std and parking_lot mutexes โ€“ who wins?
blog.cuongle.devยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post